H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 0.984 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

(((>) :: Float -> Float -> Bool) :: Float -> Float -> Bool)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

(((>) :: Float -> Float -> Bool) :: Float -> Float -> Bool)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ Narrow

mainModule Main

((>) :: Float -> Float -> Bool)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="(>)",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="(>) vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="(>) vx3 vx4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="compare vx3 vx4 == GT",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="primCmpFloat vx3 vx4 == GT",fontsize=16,color="burlywood",shape="box"];512[label="vx3/Float vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];6 -> 512[label="",style="solid", color="burlywood", weight=9];
512 -> 7[label="",style="solid", color="burlywood", weight=3];
7[label="primCmpFloat (Float vx30 vx31) vx4 == GT",fontsize=16,color="burlywood",shape="box"];513[label="vx4/Float vx40 vx41",fontsize=10,color="white",style="solid",shape="box"];7 -> 513[label="",style="solid", color="burlywood", weight=9];
513 -> 8[label="",style="solid", color="burlywood", weight=3];
8[label="primCmpFloat (Float vx30 vx31) (Float vx40 vx41) == GT",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="compare (vx30 * vx40) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="primCmpInt (vx30 * vx40) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="primCmpInt (primMulInt vx30 vx40) (vx31 * vx41) == GT",fontsize=16,color="burlywood",shape="box"];514[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];11 -> 514[label="",style="solid", color="burlywood", weight=9];
514 -> 12[label="",style="solid", color="burlywood", weight=3];
515[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];11 -> 515[label="",style="solid", color="burlywood", weight=9];
515 -> 13[label="",style="solid", color="burlywood", weight=3];
12[label="primCmpInt (primMulInt (Pos vx300) vx40) (vx31 * vx41) == GT",fontsize=16,color="burlywood",shape="box"];516[label="vx40/Pos vx400",fontsize=10,color="white",style="solid",shape="box"];12 -> 516[label="",style="solid", color="burlywood", weight=9];
516 -> 14[label="",style="solid", color="burlywood", weight=3];
517[label="vx40/Neg vx400",fontsize=10,color="white",style="solid",shape="box"];12 -> 517[label="",style="solid", color="burlywood", weight=9];
517 -> 15[label="",style="solid", color="burlywood", weight=3];
13[label="primCmpInt (primMulInt (Neg vx300) vx40) (vx31 * vx41) == GT",fontsize=16,color="burlywood",shape="box"];518[label="vx40/Pos vx400",fontsize=10,color="white",style="solid",shape="box"];13 -> 518[label="",style="solid", color="burlywood", weight=9];
518 -> 16[label="",style="solid", color="burlywood", weight=3];
519[label="vx40/Neg vx400",fontsize=10,color="white",style="solid",shape="box"];13 -> 519[label="",style="solid", color="burlywood", weight=9];
519 -> 17[label="",style="solid", color="burlywood", weight=3];
14[label="primCmpInt (primMulInt (Pos vx300) (Pos vx400)) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];14 -> 18[label="",style="solid", color="black", weight=3];
15[label="primCmpInt (primMulInt (Pos vx300) (Neg vx400)) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];15 -> 19[label="",style="solid", color="black", weight=3];
16[label="primCmpInt (primMulInt (Neg vx300) (Pos vx400)) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];16 -> 20[label="",style="solid", color="black", weight=3];
17[label="primCmpInt (primMulInt (Neg vx300) (Neg vx400)) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];17 -> 21[label="",style="solid", color="black", weight=3];
18 -> 268[label="",style="dashed", color="red", weight=0];
18[label="primCmpInt (Pos (primMulNat vx300 vx400)) (vx31 * vx41) == GT",fontsize=16,color="magenta"];18 -> 269[label="",style="dashed", color="magenta", weight=3];
19 -> 344[label="",style="dashed", color="red", weight=0];
19[label="primCmpInt (Neg (primMulNat vx300 vx400)) (vx31 * vx41) == GT",fontsize=16,color="magenta"];19 -> 345[label="",style="dashed", color="magenta", weight=3];
20 -> 344[label="",style="dashed", color="red", weight=0];
20[label="primCmpInt (Neg (primMulNat vx300 vx400)) (vx31 * vx41) == GT",fontsize=16,color="magenta"];20 -> 346[label="",style="dashed", color="magenta", weight=3];
21 -> 268[label="",style="dashed", color="red", weight=0];
21[label="primCmpInt (Pos (primMulNat vx300 vx400)) (vx31 * vx41) == GT",fontsize=16,color="magenta"];21 -> 270[label="",style="dashed", color="magenta", weight=3];
269[label="primMulNat vx300 vx400",fontsize=16,color="burlywood",shape="triangle"];524[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];269 -> 524[label="",style="solid", color="burlywood", weight=9];
524 -> 281[label="",style="solid", color="burlywood", weight=3];
525[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];269 -> 525[label="",style="solid", color="burlywood", weight=9];
525 -> 282[label="",style="solid", color="burlywood", weight=3];
268[label="primCmpInt (Pos vx10) (vx31 * vx41) == GT",fontsize=16,color="burlywood",shape="triangle"];526[label="vx10/Succ vx100",fontsize=10,color="white",style="solid",shape="box"];268 -> 526[label="",style="solid", color="burlywood", weight=9];
526 -> 283[label="",style="solid", color="burlywood", weight=3];
527[label="vx10/Zero",fontsize=10,color="white",style="solid",shape="box"];268 -> 527[label="",style="solid", color="burlywood", weight=9];
527 -> 284[label="",style="solid", color="burlywood", weight=3];
345 -> 269[label="",style="dashed", color="red", weight=0];
345[label="primMulNat vx300 vx400",fontsize=16,color="magenta"];345 -> 357[label="",style="dashed", color="magenta", weight=3];
344[label="primCmpInt (Neg vx15) (vx31 * vx41) == GT",fontsize=16,color="burlywood",shape="triangle"];529[label="vx15/Succ vx150",fontsize=10,color="white",style="solid",shape="box"];344 -> 529[label="",style="solid", color="burlywood", weight=9];
529 -> 358[label="",style="solid", color="burlywood", weight=3];
530[label="vx15/Zero",fontsize=10,color="white",style="solid",shape="box"];344 -> 530[label="",style="solid", color="burlywood", weight=9];
530 -> 359[label="",style="solid", color="burlywood", weight=3];
346 -> 269[label="",style="dashed", color="red", weight=0];
346[label="primMulNat vx300 vx400",fontsize=16,color="magenta"];346 -> 360[label="",style="dashed", color="magenta", weight=3];
270 -> 269[label="",style="dashed", color="red", weight=0];
270[label="primMulNat vx300 vx400",fontsize=16,color="magenta"];270 -> 285[label="",style="dashed", color="magenta", weight=3];
270 -> 286[label="",style="dashed", color="magenta", weight=3];
281[label="primMulNat (Succ vx3000) vx400",fontsize=16,color="burlywood",shape="box"];533[label="vx400/Succ vx4000",fontsize=10,color="white",style="solid",shape="box"];281 -> 533[label="",style="solid", color="burlywood", weight=9];
533 -> 301[label="",style="solid", color="burlywood", weight=3];
534[label="vx400/Zero",fontsize=10,color="white",style="solid",shape="box"];281 -> 534[label="",style="solid", color="burlywood", weight=9];
534 -> 302[label="",style="solid", color="burlywood", weight=3];
282[label="primMulNat Zero vx400",fontsize=16,color="burlywood",shape="box"];535[label="vx400/Succ vx4000",fontsize=10,color="white",style="solid",shape="box"];282 -> 535[label="",style="solid", color="burlywood", weight=9];
535 -> 303[label="",style="solid", color="burlywood", weight=3];
536[label="vx400/Zero",fontsize=10,color="white",style="solid",shape="box"];282 -> 536[label="",style="solid", color="burlywood", weight=9];
536 -> 304[label="",style="solid", color="burlywood", weight=3];
283[label="primCmpInt (Pos (Succ vx100)) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];283 -> 305[label="",style="solid", color="black", weight=3];
284[label="primCmpInt (Pos Zero) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];284 -> 306[label="",style="solid", color="black", weight=3];
357[label="vx400",fontsize=16,color="green",shape="box"];358[label="primCmpInt (Neg (Succ vx150)) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];358 -> 371[label="",style="solid", color="black", weight=3];
359[label="primCmpInt (Neg Zero) (vx31 * vx41) == GT",fontsize=16,color="black",shape="box"];359 -> 372[label="",style="solid", color="black", weight=3];
360[label="vx300",fontsize=16,color="green",shape="box"];285[label="vx400",fontsize=16,color="green",shape="box"];286[label="vx300",fontsize=16,color="green",shape="box"];301[label="primMulNat (Succ vx3000) (Succ vx4000)",fontsize=16,color="black",shape="box"];301 -> 317[label="",style="solid", color="black", weight=3];
302[label="primMulNat (Succ vx3000) Zero",fontsize=16,color="black",shape="box"];302 -> 318[label="",style="solid", color="black", weight=3];
303[label="primMulNat Zero (Succ vx4000)",fontsize=16,color="black",shape="box"];303 -> 319[label="",style="solid", color="black", weight=3];
304[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];304 -> 320[label="",style="solid", color="black", weight=3];
305[label="primCmpInt (Pos (Succ vx100)) (primMulInt vx31 vx41) == GT",fontsize=16,color="burlywood",shape="box"];537[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];305 -> 537[label="",style="solid", color="burlywood", weight=9];
537 -> 321[label="",style="solid", color="burlywood", weight=3];
538[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];305 -> 538[label="",style="solid", color="burlywood", weight=9];
538 -> 322[label="",style="solid", color="burlywood", weight=3];
306[label="primCmpInt (Pos Zero) (primMulInt vx31 vx41) == GT",fontsize=16,color="burlywood",shape="box"];539[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];306 -> 539[label="",style="solid", color="burlywood", weight=9];
539 -> 323[label="",style="solid", color="burlywood", weight=3];
540[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];306 -> 540[label="",style="solid", color="burlywood", weight=9];
540 -> 324[label="",style="solid", color="burlywood", weight=3];
371[label="primCmpInt (Neg (Succ vx150)) (primMulInt vx31 vx41) == GT",fontsize=16,color="burlywood",shape="box"];541[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];371 -> 541[label="",style="solid", color="burlywood", weight=9];
541 -> 376[label="",style="solid", color="burlywood", weight=3];
542[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];371 -> 542[label="",style="solid", color="burlywood", weight=9];
542 -> 377[label="",style="solid", color="burlywood", weight=3];
372[label="primCmpInt (Neg Zero) (primMulInt vx31 vx41) == GT",fontsize=16,color="burlywood",shape="box"];543[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];372 -> 543[label="",style="solid", color="burlywood", weight=9];
543 -> 378[label="",style="solid", color="burlywood", weight=3];
544[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];372 -> 544[label="",style="solid", color="burlywood", weight=9];
544 -> 379[label="",style="solid", color="burlywood", weight=3];
317 -> 330[label="",style="dashed", color="red", weight=0];
317[label="primPlusNat (primMulNat vx3000 (Succ vx4000)) (Succ vx4000)",fontsize=16,color="magenta"];317 -> 331[label="",style="dashed", color="magenta", weight=3];
318[label="Zero",fontsize=16,color="green",shape="box"];319[label="Zero",fontsize=16,color="green",shape="box"];320[label="Zero",fontsize=16,color="green",shape="box"];321[label="primCmpInt (Pos (Succ vx100)) (primMulInt (Pos vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];546[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];321 -> 546[label="",style="solid", color="burlywood", weight=9];
546 -> 332[label="",style="solid", color="burlywood", weight=3];
547[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];321 -> 547[label="",style="solid", color="burlywood", weight=9];
547 -> 333[label="",style="solid", color="burlywood", weight=3];
322[label="primCmpInt (Pos (Succ vx100)) (primMulInt (Neg vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];548[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];322 -> 548[label="",style="solid", color="burlywood", weight=9];
548 -> 334[label="",style="solid", color="burlywood", weight=3];
549[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];322 -> 549[label="",style="solid", color="burlywood", weight=9];
549 -> 335[label="",style="solid", color="burlywood", weight=3];
323[label="primCmpInt (Pos Zero) (primMulInt (Pos vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];550[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];323 -> 550[label="",style="solid", color="burlywood", weight=9];
550 -> 336[label="",style="solid", color="burlywood", weight=3];
551[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];323 -> 551[label="",style="solid", color="burlywood", weight=9];
551 -> 337[label="",style="solid", color="burlywood", weight=3];
324[label="primCmpInt (Pos Zero) (primMulInt (Neg vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];552[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];324 -> 552[label="",style="solid", color="burlywood", weight=9];
552 -> 338[label="",style="solid", color="burlywood", weight=3];
553[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];324 -> 553[label="",style="solid", color="burlywood", weight=9];
553 -> 339[label="",style="solid", color="burlywood", weight=3];
376[label="primCmpInt (Neg (Succ vx150)) (primMulInt (Pos vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];554[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];376 -> 554[label="",style="solid", color="burlywood", weight=9];
554 -> 383[label="",style="solid", color="burlywood", weight=3];
555[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];376 -> 555[label="",style="solid", color="burlywood", weight=9];
555 -> 384[label="",style="solid", color="burlywood", weight=3];
377[label="primCmpInt (Neg (Succ vx150)) (primMulInt (Neg vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];556[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];377 -> 556[label="",style="solid", color="burlywood", weight=9];
556 -> 385[label="",style="solid", color="burlywood", weight=3];
557[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];377 -> 557[label="",style="solid", color="burlywood", weight=9];
557 -> 386[label="",style="solid", color="burlywood", weight=3];
378[label="primCmpInt (Neg Zero) (primMulInt (Pos vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];558[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];378 -> 558[label="",style="solid", color="burlywood", weight=9];
558 -> 387[label="",style="solid", color="burlywood", weight=3];
559[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];378 -> 559[label="",style="solid", color="burlywood", weight=9];
559 -> 388[label="",style="solid", color="burlywood", weight=3];
379[label="primCmpInt (Neg Zero) (primMulInt (Neg vx310) vx41) == GT",fontsize=16,color="burlywood",shape="box"];560[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];379 -> 560[label="",style="solid", color="burlywood", weight=9];
560 -> 389[label="",style="solid", color="burlywood", weight=3];
561[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];379 -> 561[label="",style="solid", color="burlywood", weight=9];
561 -> 390[label="",style="solid", color="burlywood", weight=3];
331 -> 269[label="",style="dashed", color="red", weight=0];
331[label="primMulNat vx3000 (Succ vx4000)",fontsize=16,color="magenta"];331 -> 340[label="",style="dashed", color="magenta", weight=3];
331 -> 341[label="",style="dashed", color="magenta", weight=3];
330[label="primPlusNat vx14 (Succ vx4000)",fontsize=16,color="burlywood",shape="triangle"];563[label="vx14/Succ vx140",fontsize=10,color="white",style="solid",shape="box"];330 -> 563[label="",style="solid", color="burlywood", weight=9];
563 -> 342[label="",style="solid", color="burlywood", weight=3];
564[label="vx14/Zero",fontsize=10,color="white",style="solid",shape="box"];330 -> 564[label="",style="solid", color="burlywood", weight=9];
564 -> 343[label="",style="solid", color="burlywood", weight=3];
332[label="primCmpInt (Pos (Succ vx100)) (primMulInt (Pos vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];332 -> 361[label="",style="solid", color="black", weight=3];
333[label="primCmpInt (Pos (Succ vx100)) (primMulInt (Pos vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];333 -> 362[label="",style="solid", color="black", weight=3];
334[label="primCmpInt (Pos (Succ vx100)) (primMulInt (Neg vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];334 -> 363[label="",style="solid", color="black", weight=3];
335[label="primCmpInt (Pos (Succ vx100)) (primMulInt (Neg vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];335 -> 364[label="",style="solid", color="black", weight=3];
336[label="primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];336 -> 365[label="",style="solid", color="black", weight=3];
337[label="primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];337 -> 366[label="",style="solid", color="black", weight=3];
338[label="primCmpInt (Pos Zero) (primMulInt (Neg vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];338 -> 367[label="",style="solid", color="black", weight=3];
339[label="primCmpInt (Pos Zero) (primMulInt (Neg vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];339 -> 368[label="",style="solid", color="black", weight=3];
383[label="primCmpInt (Neg (Succ vx150)) (primMulInt (Pos vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];383 -> 394[label="",style="solid", color="black", weight=3];
384[label="primCmpInt (Neg (Succ vx150)) (primMulInt (Pos vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];384 -> 395[label="",style="solid", color="black", weight=3];
385[label="primCmpInt (Neg (Succ vx150)) (primMulInt (Neg vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];385 -> 396[label="",style="solid", color="black", weight=3];
386[label="primCmpInt (Neg (Succ vx150)) (primMulInt (Neg vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];386 -> 397[label="",style="solid", color="black", weight=3];
387[label="primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];387 -> 398[label="",style="solid", color="black", weight=3];
388[label="primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];388 -> 399[label="",style="solid", color="black", weight=3];
389[label="primCmpInt (Neg Zero) (primMulInt (Neg vx310) (Pos vx410)) == GT",fontsize=16,color="black",shape="box"];389 -> 400[label="",style="solid", color="black", weight=3];
390[label="primCmpInt (Neg Zero) (primMulInt (Neg vx310) (Neg vx410)) == GT",fontsize=16,color="black",shape="box"];390 -> 401[label="",style="solid", color="black", weight=3];
340[label="Succ vx4000",fontsize=16,color="green",shape="box"];341[label="vx3000",fontsize=16,color="green",shape="box"];342[label="primPlusNat (Succ vx140) (Succ vx4000)",fontsize=16,color="black",shape="box"];342 -> 369[label="",style="solid", color="black", weight=3];
343[label="primPlusNat Zero (Succ vx4000)",fontsize=16,color="black",shape="box"];343 -> 370[label="",style="solid", color="black", weight=3];
361 -> 373[label="",style="dashed", color="red", weight=0];
361[label="primCmpInt (Pos (Succ vx100)) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];361 -> 374[label="",style="dashed", color="magenta", weight=3];
362 -> 380[label="",style="dashed", color="red", weight=0];
362[label="primCmpInt (Pos (Succ vx100)) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];362 -> 381[label="",style="dashed", color="magenta", weight=3];
363 -> 380[label="",style="dashed", color="red", weight=0];
363[label="primCmpInt (Pos (Succ vx100)) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];363 -> 382[label="",style="dashed", color="magenta", weight=3];
364 -> 373[label="",style="dashed", color="red", weight=0];
364[label="primCmpInt (Pos (Succ vx100)) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];364 -> 375[label="",style="dashed", color="magenta", weight=3];
365 -> 391[label="",style="dashed", color="red", weight=0];
365[label="primCmpInt (Pos Zero) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];365 -> 392[label="",style="dashed", color="magenta", weight=3];
366 -> 402[label="",style="dashed", color="red", weight=0];
366[label="primCmpInt (Pos Zero) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];366 -> 403[label="",style="dashed", color="magenta", weight=3];
367 -> 402[label="",style="dashed", color="red", weight=0];
367[label="primCmpInt (Pos Zero) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];367 -> 404[label="",style="dashed", color="magenta", weight=3];
368 -> 391[label="",style="dashed", color="red", weight=0];
368[label="primCmpInt (Pos Zero) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];368 -> 393[label="",style="dashed", color="magenta", weight=3];
394 -> 405[label="",style="dashed", color="red", weight=0];
394[label="primCmpInt (Neg (Succ vx150)) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];394 -> 406[label="",style="dashed", color="magenta", weight=3];
395 -> 408[label="",style="dashed", color="red", weight=0];
395[label="primCmpInt (Neg (Succ vx150)) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];395 -> 409[label="",style="dashed", color="magenta", weight=3];
396 -> 408[label="",style="dashed", color="red", weight=0];
396[label="primCmpInt (Neg (Succ vx150)) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];396 -> 410[label="",style="dashed", color="magenta", weight=3];
397 -> 405[label="",style="dashed", color="red", weight=0];
397[label="primCmpInt (Neg (Succ vx150)) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];397 -> 407[label="",style="dashed", color="magenta", weight=3];
398 -> 411[label="",style="dashed", color="red", weight=0];
398[label="primCmpInt (Neg Zero) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];398 -> 412[label="",style="dashed", color="magenta", weight=3];
399 -> 414[label="",style="dashed", color="red", weight=0];
399[label="primCmpInt (Neg Zero) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];399 -> 415[label="",style="dashed", color="magenta", weight=3];
400 -> 414[label="",style="dashed", color="red", weight=0];
400[label="primCmpInt (Neg Zero) (Neg (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];400 -> 416[label="",style="dashed", color="magenta", weight=3];
401 -> 411[label="",style="dashed", color="red", weight=0];
401[label="primCmpInt (Neg Zero) (Pos (primMulNat vx310 vx410)) == GT",fontsize=16,color="magenta"];401 -> 413[label="",style="dashed", color="magenta", weight=3];
369[label="Succ (Succ (primPlusNat vx140 vx4000))",fontsize=16,color="green",shape="box"];369 -> 417[label="",style="dashed", color="green", weight=3];
370[label="Succ vx4000",fontsize=16,color="green",shape="box"];374 -> 269[label="",style="dashed", color="red", weight=0];
374[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];374 -> 418[label="",style="dashed", color="magenta", weight=3];
374 -> 419[label="",style="dashed", color="magenta", weight=3];
373[label="primCmpInt (Pos (Succ vx100)) (Pos vx16) == GT",fontsize=16,color="black",shape="triangle"];373 -> 420[label="",style="solid", color="black", weight=3];
381 -> 269[label="",style="dashed", color="red", weight=0];
381[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];381 -> 421[label="",style="dashed", color="magenta", weight=3];
381 -> 422[label="",style="dashed", color="magenta", weight=3];
380[label="primCmpInt (Pos (Succ vx100)) (Neg vx17) == GT",fontsize=16,color="black",shape="triangle"];380 -> 423[label="",style="solid", color="black", weight=3];
382 -> 269[label="",style="dashed", color="red", weight=0];
382[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];382 -> 424[label="",style="dashed", color="magenta", weight=3];
382 -> 425[label="",style="dashed", color="magenta", weight=3];
375 -> 269[label="",style="dashed", color="red", weight=0];
375[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];375 -> 426[label="",style="dashed", color="magenta", weight=3];
375 -> 427[label="",style="dashed", color="magenta", weight=3];
392 -> 269[label="",style="dashed", color="red", weight=0];
392[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];392 -> 428[label="",style="dashed", color="magenta", weight=3];
392 -> 429[label="",style="dashed", color="magenta", weight=3];
391[label="primCmpInt (Pos Zero) (Pos vx18) == GT",fontsize=16,color="burlywood",shape="triangle"];586[label="vx18/Succ vx180",fontsize=10,color="white",style="solid",shape="box"];391 -> 586[label="",style="solid", color="burlywood", weight=9];
586 -> 430[label="",style="solid", color="burlywood", weight=3];
587[label="vx18/Zero",fontsize=10,color="white",style="solid",shape="box"];391 -> 587[label="",style="solid", color="burlywood", weight=9];
587 -> 431[label="",style="solid", color="burlywood", weight=3];
403 -> 269[label="",style="dashed", color="red", weight=0];
403[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];403 -> 432[label="",style="dashed", color="magenta", weight=3];
403 -> 433[label="",style="dashed", color="magenta", weight=3];
402[label="primCmpInt (Pos Zero) (Neg vx19) == GT",fontsize=16,color="burlywood",shape="triangle"];589[label="vx19/Succ vx190",fontsize=10,color="white",style="solid",shape="box"];402 -> 589[label="",style="solid", color="burlywood", weight=9];
589 -> 434[label="",style="solid", color="burlywood", weight=3];
590[label="vx19/Zero",fontsize=10,color="white",style="solid",shape="box"];402 -> 590[label="",style="solid", color="burlywood", weight=9];
590 -> 435[label="",style="solid", color="burlywood", weight=3];
404 -> 269[label="",style="dashed", color="red", weight=0];
404[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];404 -> 436[label="",style="dashed", color="magenta", weight=3];
404 -> 437[label="",style="dashed", color="magenta", weight=3];
393 -> 269[label="",style="dashed", color="red", weight=0];
393[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];393 -> 438[label="",style="dashed", color="magenta", weight=3];
393 -> 439[label="",style="dashed", color="magenta", weight=3];
406 -> 269[label="",style="dashed", color="red", weight=0];
406[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];406 -> 440[label="",style="dashed", color="magenta", weight=3];
406 -> 441[label="",style="dashed", color="magenta", weight=3];
405[label="primCmpInt (Neg (Succ vx150)) (Pos vx20) == GT",fontsize=16,color="black",shape="triangle"];405 -> 442[label="",style="solid", color="black", weight=3];
409 -> 269[label="",style="dashed", color="red", weight=0];
409[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];409 -> 443[label="",style="dashed", color="magenta", weight=3];
409 -> 444[label="",style="dashed", color="magenta", weight=3];
408[label="primCmpInt (Neg (Succ vx150)) (Neg vx21) == GT",fontsize=16,color="black",shape="triangle"];408 -> 445[label="",style="solid", color="black", weight=3];
410 -> 269[label="",style="dashed", color="red", weight=0];
410[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];410 -> 446[label="",style="dashed", color="magenta", weight=3];
410 -> 447[label="",style="dashed", color="magenta", weight=3];
407 -> 269[label="",style="dashed", color="red", weight=0];
407[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];407 -> 448[label="",style="dashed", color="magenta", weight=3];
407 -> 449[label="",style="dashed", color="magenta", weight=3];
412 -> 269[label="",style="dashed", color="red", weight=0];
412[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];412 -> 450[label="",style="dashed", color="magenta", weight=3];
412 -> 451[label="",style="dashed", color="magenta", weight=3];
411[label="primCmpInt (Neg Zero) (Pos vx22) == GT",fontsize=16,color="burlywood",shape="triangle"];598[label="vx22/Succ vx220",fontsize=10,color="white",style="solid",shape="box"];411 -> 598[label="",style="solid", color="burlywood", weight=9];
598 -> 452[label="",style="solid", color="burlywood", weight=3];
599[label="vx22/Zero",fontsize=10,color="white",style="solid",shape="box"];411 -> 599[label="",style="solid", color="burlywood", weight=9];
599 -> 453[label="",style="solid", color="burlywood", weight=3];
415 -> 269[label="",style="dashed", color="red", weight=0];
415[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];415 -> 454[label="",style="dashed", color="magenta", weight=3];
415 -> 455[label="",style="dashed", color="magenta", weight=3];
414[label="primCmpInt (Neg Zero) (Neg vx23) == GT",fontsize=16,color="burlywood",shape="triangle"];601[label="vx23/Succ vx230",fontsize=10,color="white",style="solid",shape="box"];414 -> 601[label="",style="solid", color="burlywood", weight=9];
601 -> 456[label="",style="solid", color="burlywood", weight=3];
602[label="vx23/Zero",fontsize=10,color="white",style="solid",shape="box"];414 -> 602[label="",style="solid", color="burlywood", weight=9];
602 -> 457[label="",style="solid", color="burlywood", weight=3];
416 -> 269[label="",style="dashed", color="red", weight=0];
416[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];416 -> 458[label="",style="dashed", color="magenta", weight=3];
416 -> 459[label="",style="dashed", color="magenta", weight=3];
413 -> 269[label="",style="dashed", color="red", weight=0];
413[label="primMulNat vx310 vx410",fontsize=16,color="magenta"];413 -> 460[label="",style="dashed", color="magenta", weight=3];
413 -> 461[label="",style="dashed", color="magenta", weight=3];
417[label="primPlusNat vx140 vx4000",fontsize=16,color="burlywood",shape="triangle"];605[label="vx140/Succ vx1400",fontsize=10,color="white",style="solid",shape="box"];417 -> 605[label="",style="solid", color="burlywood", weight=9];
605 -> 462[label="",style="solid", color="burlywood", weight=3];
606[label="vx140/Zero",fontsize=10,color="white",style="solid",shape="box"];417 -> 606[label="",style="solid", color="burlywood", weight=9];
606 -> 463[label="",style="solid", color="burlywood", weight=3];
418[label="vx410",fontsize=16,color="green",shape="box"];419[label="vx310",fontsize=16,color="green",shape="box"];420[label="primCmpNat (Succ vx100) vx16 == GT",fontsize=16,color="burlywood",shape="triangle"];607[label="vx16/Succ vx160",fontsize=10,color="white",style="solid",shape="box"];420 -> 607[label="",style="solid", color="burlywood", weight=9];
607 -> 464[label="",style="solid", color="burlywood", weight=3];
608[label="vx16/Zero",fontsize=10,color="white",style="solid",shape="box"];420 -> 608[label="",style="solid", color="burlywood", weight=9];
608 -> 465[label="",style="solid", color="burlywood", weight=3];
421[label="vx410",fontsize=16,color="green",shape="box"];422[label="vx310",fontsize=16,color="green",shape="box"];423[label="GT == GT",fontsize=16,color="black",shape="triangle"];423 -> 466[label="",style="solid", color="black", weight=3];
424[label="vx410",fontsize=16,color="green",shape="box"];425[label="vx310",fontsize=16,color="green",shape="box"];426[label="vx410",fontsize=16,color="green",shape="box"];427[label="vx310",fontsize=16,color="green",shape="box"];428[label="vx410",fontsize=16,color="green",shape="box"];429[label="vx310",fontsize=16,color="green",shape="box"];430[label="primCmpInt (Pos Zero) (Pos (Succ vx180)) == GT",fontsize=16,color="black",shape="box"];430 -> 467[label="",style="solid", color="black", weight=3];
431[label="primCmpInt (Pos Zero) (Pos Zero) == GT",fontsize=16,color="black",shape="box"];431 -> 468[label="",style="solid", color="black", weight=3];
432[label="vx410",fontsize=16,color="green",shape="box"];433[label="vx310",fontsize=16,color="green",shape="box"];434[label="primCmpInt (Pos Zero) (Neg (Succ vx190)) == GT",fontsize=16,color="black",shape="box"];434 -> 469[label="",style="solid", color="black", weight=3];
435[label="primCmpInt (Pos Zero) (Neg Zero) == GT",fontsize=16,color="black",shape="box"];435 -> 470[label="",style="solid", color="black", weight=3];
436[label="vx410",fontsize=16,color="green",shape="box"];437[label="vx310",fontsize=16,color="green",shape="box"];438[label="vx410",fontsize=16,color="green",shape="box"];439[label="vx310",fontsize=16,color="green",shape="box"];440[label="vx410",fontsize=16,color="green",shape="box"];441[label="vx310",fontsize=16,color="green",shape="box"];442[label="LT == GT",fontsize=16,color="black",shape="triangle"];442 -> 471[label="",style="solid", color="black", weight=3];
443[label="vx410",fontsize=16,color="green",shape="box"];444[label="vx310",fontsize=16,color="green",shape="box"];445[label="primCmpNat vx21 (Succ vx150) == GT",fontsize=16,color="burlywood",shape="triangle"];609[label="vx21/Succ vx210",fontsize=10,color="white",style="solid",shape="box"];445 -> 609[label="",style="solid", color="burlywood", weight=9];
609 -> 472[label="",style="solid", color="burlywood", weight=3];
610[label="vx21/Zero",fontsize=10,color="white",style="solid",shape="box"];445 -> 610[label="",style="solid", color="burlywood", weight=9];
610 -> 473[label="",style="solid", color="burlywood", weight=3];
446[label="vx410",fontsize=16,color="green",shape="box"];447[label="vx310",fontsize=16,color="green",shape="box"];448[label="vx410",fontsize=16,color="green",shape="box"];449[label="vx310",fontsize=16,color="green",shape="box"];450[label="vx410",fontsize=16,color="green",shape="box"];451[label="vx310",fontsize=16,color="green",shape="box"];452[label="primCmpInt (Neg Zero) (Pos (Succ vx220)) == GT",fontsize=16,color="black",shape="box"];452 -> 474[label="",style="solid", color="black", weight=3];
453[label="primCmpInt (Neg Zero) (Pos Zero) == GT",fontsize=16,color="black",shape="box"];453 -> 475[label="",style="solid", color="black", weight=3];
454[label="vx410",fontsize=16,color="green",shape="box"];455[label="vx310",fontsize=16,color="green",shape="box"];456[label="primCmpInt (Neg Zero) (Neg (Succ vx230)) == GT",fontsize=16,color="black",shape="box"];456 -> 476[label="",style="solid", color="black", weight=3];
457[label="primCmpInt (Neg Zero) (Neg Zero) == GT",fontsize=16,color="black",shape="box"];457 -> 477[label="",style="solid", color="black", weight=3];
458[label="vx410",fontsize=16,color="green",shape="box"];459[label="vx310",fontsize=16,color="green",shape="box"];460[label="vx410",fontsize=16,color="green",shape="box"];461[label="vx310",fontsize=16,color="green",shape="box"];462[label="primPlusNat (Succ vx1400) vx4000",fontsize=16,color="burlywood",shape="box"];611[label="vx4000/Succ vx40000",fontsize=10,color="white",style="solid",shape="box"];462 -> 611[label="",style="solid", color="burlywood", weight=9];
611 -> 478[label="",style="solid", color="burlywood", weight=3];
612[label="vx4000/Zero",fontsize=10,color="white",style="solid",shape="box"];462 -> 612[label="",style="solid", color="burlywood", weight=9];
612 -> 479[label="",style="solid", color="burlywood", weight=3];
463[label="primPlusNat Zero vx4000",fontsize=16,color="burlywood",shape="box"];613[label="vx4000/Succ vx40000",fontsize=10,color="white",style="solid",shape="box"];463 -> 613[label="",style="solid", color="burlywood", weight=9];
613 -> 480[label="",style="solid", color="burlywood", weight=3];
614[label="vx4000/Zero",fontsize=10,color="white",style="solid",shape="box"];463 -> 614[label="",style="solid", color="burlywood", weight=9];
614 -> 481[label="",style="solid", color="burlywood", weight=3];
464[label="primCmpNat (Succ vx100) (Succ vx160) == GT",fontsize=16,color="black",shape="box"];464 -> 482[label="",style="solid", color="black", weight=3];
465[label="primCmpNat (Succ vx100) Zero == GT",fontsize=16,color="black",shape="box"];465 -> 483[label="",style="solid", color="black", weight=3];
466[label="True",fontsize=16,color="green",shape="box"];467 -> 445[label="",style="dashed", color="red", weight=0];
467[label="primCmpNat Zero (Succ vx180) == GT",fontsize=16,color="magenta"];467 -> 484[label="",style="dashed", color="magenta", weight=3];
467 -> 485[label="",style="dashed", color="magenta", weight=3];
468[label="EQ == GT",fontsize=16,color="black",shape="triangle"];468 -> 486[label="",style="solid", color="black", weight=3];
469 -> 423[label="",style="dashed", color="red", weight=0];
469[label="GT == GT",fontsize=16,color="magenta"];470 -> 468[label="",style="dashed", color="red", weight=0];
470[label="EQ == GT",fontsize=16,color="magenta"];471[label="False",fontsize=16,color="green",shape="box"];472[label="primCmpNat (Succ vx210) (Succ vx150) == GT",fontsize=16,color="black",shape="box"];472 -> 487[label="",style="solid", color="black", weight=3];
473[label="primCmpNat Zero (Succ vx150) == GT",fontsize=16,color="black",shape="box"];473 -> 488[label="",style="solid", color="black", weight=3];
474 -> 442[label="",style="dashed", color="red", weight=0];
474[label="LT == GT",fontsize=16,color="magenta"];475 -> 468[label="",style="dashed", color="red", weight=0];
475[label="EQ == GT",fontsize=16,color="magenta"];476 -> 420[label="",style="dashed", color="red", weight=0];
476[label="primCmpNat (Succ vx230) Zero == GT",fontsize=16,color="magenta"];476 -> 489[label="",style="dashed", color="magenta", weight=3];
476 -> 490[label="",style="dashed", color="magenta", weight=3];
477 -> 468[label="",style="dashed", color="red", weight=0];
477[label="EQ == GT",fontsize=16,color="magenta"];478[label="primPlusNat (Succ vx1400) (Succ vx40000)",fontsize=16,color="black",shape="box"];478 -> 491[label="",style="solid", color="black", weight=3];
479[label="primPlusNat (Succ vx1400) Zero",fontsize=16,color="black",shape="box"];479 -> 492[label="",style="solid", color="black", weight=3];
480[label="primPlusNat Zero (Succ vx40000)",fontsize=16,color="black",shape="box"];480 -> 493[label="",style="solid", color="black", weight=3];
481[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];481 -> 494[label="",style="solid", color="black", weight=3];
482[label="primCmpNat vx100 vx160 == GT",fontsize=16,color="burlywood",shape="triangle"];622[label="vx100/Succ vx1000",fontsize=10,color="white",style="solid",shape="box"];482 -> 622[label="",style="solid", color="burlywood", weight=9];
622 -> 495[label="",style="solid", color="burlywood", weight=3];
623[label="vx100/Zero",fontsize=10,color="white",style="solid",shape="box"];482 -> 623[label="",style="solid", color="burlywood", weight=9];
623 -> 496[label="",style="solid", color="burlywood", weight=3];
483 -> 423[label="",style="dashed", color="red", weight=0];
483[label="GT == GT",fontsize=16,color="magenta"];484[label="vx180",fontsize=16,color="green",shape="box"];485[label="Zero",fontsize=16,color="green",shape="box"];486[label="False",fontsize=16,color="green",shape="box"];487 -> 482[label="",style="dashed", color="red", weight=0];
487[label="primCmpNat vx210 vx150 == GT",fontsize=16,color="magenta"];487 -> 497[label="",style="dashed", color="magenta", weight=3];
487 -> 498[label="",style="dashed", color="magenta", weight=3];
488 -> 442[label="",style="dashed", color="red", weight=0];
488[label="LT == GT",fontsize=16,color="magenta"];489[label="Zero",fontsize=16,color="green",shape="box"];490[label="vx230",fontsize=16,color="green",shape="box"];491[label="Succ (Succ (primPlusNat vx1400 vx40000))",fontsize=16,color="green",shape="box"];491 -> 499[label="",style="dashed", color="green", weight=3];
492[label="Succ vx1400",fontsize=16,color="green",shape="box"];493[label="Succ vx40000",fontsize=16,color="green",shape="box"];494[label="Zero",fontsize=16,color="green",shape="box"];495[label="primCmpNat (Succ vx1000) vx160 == GT",fontsize=16,color="burlywood",shape="box"];627[label="vx160/Succ vx1600",fontsize=10,color="white",style="solid",shape="box"];495 -> 627[label="",style="solid", color="burlywood", weight=9];
627 -> 500[label="",style="solid", color="burlywood", weight=3];
628[label="vx160/Zero",fontsize=10,color="white",style="solid",shape="box"];495 -> 628[label="",style="solid", color="burlywood", weight=9];
628 -> 501[label="",style="solid", color="burlywood", weight=3];
496[label="primCmpNat Zero vx160 == GT",fontsize=16,color="burlywood",shape="box"];629[label="vx160/Succ vx1600",fontsize=10,color="white",style="solid",shape="box"];496 -> 629[label="",style="solid", color="burlywood", weight=9];
629 -> 502[label="",style="solid", color="burlywood", weight=3];
630[label="vx160/Zero",fontsize=10,color="white",style="solid",shape="box"];496 -> 630[label="",style="solid", color="burlywood", weight=9];
630 -> 503[label="",style="solid", color="burlywood", weight=3];
497[label="vx210",fontsize=16,color="green",shape="box"];498[label="vx150",fontsize=16,color="green",shape="box"];499 -> 417[label="",style="dashed", color="red", weight=0];
499[label="primPlusNat vx1400 vx40000",fontsize=16,color="magenta"];499 -> 504[label="",style="dashed", color="magenta", weight=3];
499 -> 505[label="",style="dashed", color="magenta", weight=3];
500[label="primCmpNat (Succ vx1000) (Succ vx1600) == GT",fontsize=16,color="black",shape="box"];500 -> 506[label="",style="solid", color="black", weight=3];
501[label="primCmpNat (Succ vx1000) Zero == GT",fontsize=16,color="black",shape="box"];501 -> 507[label="",style="solid", color="black", weight=3];
502[label="primCmpNat Zero (Succ vx1600) == GT",fontsize=16,color="black",shape="box"];502 -> 508[label="",style="solid", color="black", weight=3];
503[label="primCmpNat Zero Zero == GT",fontsize=16,color="black",shape="box"];503 -> 509[label="",style="solid", color="black", weight=3];
504[label="vx40000",fontsize=16,color="green",shape="box"];505[label="vx1400",fontsize=16,color="green",shape="box"];506 -> 482[label="",style="dashed", color="red", weight=0];
506[label="primCmpNat vx1000 vx1600 == GT",fontsize=16,color="magenta"];506 -> 510[label="",style="dashed", color="magenta", weight=3];
506 -> 511[label="",style="dashed", color="magenta", weight=3];
507 -> 423[label="",style="dashed", color="red", weight=0];
507[label="GT == GT",fontsize=16,color="magenta"];508 -> 442[label="",style="dashed", color="red", weight=0];
508[label="LT == GT",fontsize=16,color="magenta"];509 -> 468[label="",style="dashed", color="red", weight=0];
509[label="EQ == GT",fontsize=16,color="magenta"];510[label="vx1000",fontsize=16,color="green",shape="box"];511[label="vx1600",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ Narrow

            ↳ AND

              ↳ QDP

                ↳ QDPSizeChangeProof

              ↳ QDP

              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(vx1400), Succ(vx40000)) → new_primPlusNat(vx1400, vx40000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(vx1400), Succ(vx40000)) → new_primPlusNat(vx1400, vx40000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ Narrow

            ↳ AND

              ↳ QDP

              ↳ QDP

                ↳ QDPSizeChangeProof

              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vx3000), Succ(vx4000)) → new_primMulNat(vx3000, Succ(vx4000))

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(vx3000), Succ(vx4000)) → new_primMulNat(vx3000, Succ(vx4000))
The graph contains the following edges 1 > 1, 2 >= 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ Narrow

            ↳ AND

              ↳ QDP

              ↳ QDP

              ↳ QDP

                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_esEs(Succ(vx1000), Succ(vx1600)) → new_esEs(vx1000, vx1600)

From the DPs we obtained the following set of size-change graphs:

new_esEs(Succ(vx1000), Succ(vx1600)) → new_esEs(vx1000, vx1600)
The graph contains the following edges 1 > 1, 2 > 2